as_big_integer

pure function as_big_integer(): big_integer

Convert this JSON value to a big_integer.

All JSON values that can be converted to integer with as_integer() can also be converted to big_integer with as_big_integer(), though the reverse is not true, since big_integer values may fall outside the integer range.

Since

0.14.16

Throws

exception

if this JSON value cannot be converted to a big_integer